package edu.utexas.ipc;

public interface Clock {
	
	void tick();
	void update(int srcID, String timestamp);
	String value();
}
